Définition
Définition de l'application quotient :
- soit $$\pi:\begin{align} X&\longrightarrow X/\mathcal R\\ x&\longmapsto C_x\end{align}$$ avec \(X=\displaystyle\bigsqcup_{C_x\in X/\mathcal R}C_x\)
$$\Huge\iff$$
- on dit que \(\pi\) est l'application quotient
(
Classe d'équivalence,
Ensemble quotient)
Propriétés
Propriété universelle
Propriété universelle du quotient
